быть истинным

логические операции
С какой-то степенью точности можно сказать, что математическая логика занимается изучением правил вывода определенных положений без конкретизации самих этих положений (безотносительно к их содержанию), примерно так, как геометрия связана с наукой о пространстве. Одно из основных понятий математической логики — высказывание. Не стремясь к излишней математической строгости, можно сказать, что высказывание — это выражение, относительно которого можно сделать вывод o его истинности или ложности. Например, «Ах!» — это не высказывание, а выражение — «Иван Иванович Иванов ~ телевизор» — высказывание, так как можно утверждать — оно ложно. Знак ~ заменяет здесь слово «эквивалент» и связывает два имени: «Иван Иванович Иванов» и «телевизор». Каждое из этих имен высказыванием не является, тогда как все выражение — высказывание. Над высказываниями можно производить определенные операции. Например, если заданы два высказывания, обозначенные логическими переменными A и B, то можно составить новое высказывание: «A и B». При этом связка «и» заменяется символом ?; тогда запишем «A ? B». Можно также составить выражение «A или B». Связка «или» обозначается с помощью символа v. Можно представить себе высказывание «из A следует B»: «A ==> B». Наконец, можно составить отрицание данного высказывания: «не A». Для операции отрицания используют целый ряд обозначений. ?? v? Например: ? А, ~А, ?. Придадим каждому из высказываний определенное значение истинности. Например, «А» = И, а «В» = Л, т.е. «А — истинно», а «В — ложно», тогда можно рассмотреть истинность перечисленных выше высказываний. Начнем с самого простого — с отрицания: если А — истинно, то «не А — ложно». Наоборот, если «А — ложно», то ?— истинно. Эти очевидные факты могут быть представлены в виде таблицы. Аналогично можно рассмотреть и другие операции. Можно рассмотреть еще одну Л.о. — «А тогда, и только тогда, когда В». Ее можно записать: (А <=> В) ? (А <=> В) ? (В ?А) Рассмотренная выше логика допускает только два значения истинности для высказывания — истинно и ложно, причем высказывание не может быть истинным и ложным одновременно. Поэтому она называется логикой с исключенным третьим. Важную аналогию можно установить, заменив условное обозначение «И» на единицу, а «Л» на нуль. Тогда окажется, что логика аналогична системе действий над двоичными числами, на основе которой работают все компьютеры.
[ http://slovar-lopatnikov.ru/]

Тематики

• экономика

EN

• logical operations

сбивать с пути истинного — to lead astray

быть истинным — to be beyond question

истинная правда — veritable solemn truth; plain truth

истинное происшествие — true story

истинный друг — true friend

истинный смысл — true sense

абориген
автохтон
Организм (таксон), со времени своего филогенетического становления обитающий в данной местности; термин «абориген» употребляется при конкретном противопоставлении вселяемым (интродуцируемым) и заносным формам, хотя в таком случае «абориген» может и не быть истинным «автохтоном».
[Арефьев В.А., Лисовенко Л.А. Англо-русский толковый словарь генетических терминов 1995 407с.]

Тематики

• генетика

Синонимы

• автохтон

EN

• aboriginal
• autochton

аксиома
Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником
[ ГОСТ 34.320-96]

аксиома
Предложение, принимаемое за истину без доказательств.
Аксиомы являются исходными предложениями различных теорий. К аксиомам предъявляются требования непротиворечивости, независимости и полноты. Примером аксиомы является утверждение: "через две точки можно провести только одну прямую" линию.
Нередко аксиомы являются отправными пунктами программирования, определяя то, что должно быть истинным. Аксиомы имеют опытное происхождение и являются основой доказательств многих других положений.
Аксиому также называют постулатом.
[ http://www.morepc.ru/dict/]

Тематики

• базы данных
• информационные технологии в целом

EN

• axiom

систематическая погрешность метода измерений
Разность между математическим ожиданием результатов измерений, полученных во всех лабораториях, применяющих данный метод, и истинным (или в его отсутствие принятым опорным значением) измеряемой характеристики.
Примечание. Систематическую погрешность метода измерений оценивают отклонением среднего значения результатов измерений, полученных от большого числа различных лабораторий, применяющих один и тот же метод. Систематическая погрешность метода измерений может зависеть от значения измеряемой характеристики, то есть может быть различной на разных уровнях.
[ ГОСТ Р ИСО 5725-1-2002]

Тематики

• метрология, основные понятия

EN

• bias of the measurement method

3.10 систематическая погрешность метода измерений (bias of the measurement method): Разность между математическим ожиданием результатов измерений, полученных во всех лабораториях, применяющих данный метод, и истинным (или в его отсутствие принятым опорным значением) измеряемой характеристики.

Примечание 6 - Систематическую погрешность метода измерений оценивают отклонением среднего значения результатов измерений, полученных от большого числа различных лабораторий, применяющих один и тот же метод. Систематическая погрешность метода измерений может зависеть от значения измеряемой характеристики, то есть может быть различной на разных уровнях.

Источник: ГОСТ Р ИСО 5725-1-2002: Точность (правильность и прецизионность) методов и результатов измерений. Часть 1. Основные положения и определения оригинал документа

принятое опорное значение
Значение, которое служит в качестве согласованного для сравнения и получено как:
a) теоретическое или установленное значение, базирующееся на научных принципах;
b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;
c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;
d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны (ИСО 3534-1 [1]).
В отечественной метрологии погрешность (the error) результатов измерений, как правило, определяется сравнением результата измерений с истинным или действительным значением измеряемой физической величины (являющимися фактически эталонными значениями измеряемых величин, выраженными в узаконенных единицах).
Согласно 3.6 РМГ 29-99 [3] истинное значение физической величины (true value of a quantity) - значение, которое идеальным образом характеризует в качественном и количественном отношении соответствующую физическую величину; согласно 3.7 РМГ 29 действительное значение физической величины (conventional true value) - значение величины, полученное экспериментальным путем и настолько близкое к истинному значению, что в поставленной измерительной задаче может быть использовано вместо него.
В условиях отсутствия необходимых эталонов, обеспечивающих воспроизведение, хранение и передачу соответствующих значений величин, необходимых для определения погрешности (точности) результатов измерений и в отечественной, и в международной практике за действительное значение зачастую принимают общее среднее значение (математическое ожидание) заданной совокупности результатов измерений, выражаемое в отдельных случаях в условных единицах. Эта ситуация и отражена в термине «принятое опорное значение».
[ ГОСТ Р ИСО 5725-1-2002]
[ ГОСТ Р 8.563-96]

Тематики

• метрология, основные понятия

EN

• accepted reference value

3.13 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

а) теоретическое или установленное значение, базирующееся на научных принципах;

б) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

в) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

г) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), б) и в) недоступны (ISO 3534-1[3]).

[ ГОСТ Р ИСО 5725-1-2002, пункт 3.5]

Источник: СТО Газпром 5.26-2009: Организация и проведение внутрилабораторного контроля измерений показателей качества природного газа в химико-аналитических лабораториях

3.5 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

a) теоретическое или установленное значение, базирующееся на научных принципах;

b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны (ИСО 3534-1 [1]).

В отечественной метрологии погрешность (the error) результатов измерений, как правило, определяется сравнением результата измерений с истинным или действительным значением измеряемой физической величины (являющимися фактически эталонными значениями измеряемых величин, выраженными в узаконенных единицах).

Согласно 3.6 ГОСТ Р ИСО 5725-1 и рекомендуется для использования в отечественной практике.

Источник: ГОСТ Р ИСО 5725-1-2002: Точность (правильность и прецизионность) методов и результатов измерений. Часть 1. Основные положения и определения оригинал документа

3.5 принятое опорное значение (accepted reference value): Значение, которое служит в качестве согласованного для сравнения и получено как:

a) теоретическое или установленное значение, базирующееся на научных принципах;

b) приписанное или аттестованное значение, базирующееся на экспериментальных работах какой-либо национальной или международной организации;

c) согласованное или аттестованное значение, базирующееся на совместных экспериментальных работах под руководством научной или инженерной группы;

d) математическое ожидание измеряемой характеристики, то есть среднее значение заданной совокупности результатов измерений - лишь в случае, когда а), b) и с) недоступны...

[ ГОСТ Р ИСО 5725-1-2002, пункт 3.5]

Источник: ГОСТ Р 8.673-2009: Государственная система обеспечения единства измерений. Датчики интеллектуальные и системы измерительные интеллектуальные. Основные термины и определения оригинал документа

Тыршыме вийна арам ок лий, шӱдӧ пачаш сулалтеш. «Ончыко» Не пропадут зря потраченные нами силы, возместятся сторицей (букв. стократ).

А роскотшо паша лектышын нӧлталтме дене сулалтеш. «Мар. ком.» А расходы окупаются ростом производительности труда.

Теорий практикыште сулалтеш. Теория подтверждается практикой.

Чонышто кужун ашныме ӱшан ынде сулалтеш. Теперь оправдывается надежда, долго лелеемая в душе.

Кугун тыршымет дене ыштыме йоҥылышет сулалте. Ты большим старанием искупил свою ошибку.

Тыныс илышна вӱр дене сулалтын. Наша мирная жизнь искуплена кровью.

Ӧрмӧкым Лотай олмеш салтакыш колтена. Тудынат черетше эрта, эргымат сулалтеш. Я. Элексейн. Эрмека отправим в солдаты вместо Лотая. И его очередь пройдёт, и мой сын будет избавлен (от службы).

– Ит лӱд, Акнаш, хан велыш вончет гын, илышет сулалтын. Н. Арбан. – Не бойся, Акнаш, перейдёшь на сторону хана, твоя жизнь будет избавлена от опасности.

противоре́чия — мн. филос., полит. супере́чності, -тей

историческое богословие — historical theology

католическое богословие — Roman theology

курс практического богословия — divinity course

раздел богословия, посвящённый катехизису — catechetics

раздел богословия, посвящённый убранству храмов — ecclesiology

рационалистическое богословие — rational theology

систематическое богословие — systematic theology

факультет богословия — divinity school

Лӱмнерышт кодын сугынь семын данлын: чын коммунист лияш мылам чылашт верчат. В. Колумб. Их репутация осталась как завещание славно: быть мне истинным коммунистом ради них.

Уста мурызо талантливый певец.

Теве зал ончыко мурызо-влак лектын шогальыч. А. Эрыкан. Вот перед залом выстроились певцы.

Тыгай мурызо-влак дене кеч-могай мурат йоҥгалташ тӱҥалеш. К. Исаков. С такими певцами любая песня зазвучит.

Поэт эре ум кычалеш, тунам гына тудо калыкын чын мурызыжо лийын кертеш. М. Казаков. Поэт всегда должен быть в поиске нового, только тогда он сможет стать истинным народным певцом.

Н. Мухин. – С. Чавайн ден Г. Микай семынак, марий калыкын йӧратыме мурызыжо, марий поэзийлан негызым пыштыше поэт-влак кокла гыч иктыже. С. Черных. Н. Мухин, как С. Чавайн и Г. Микай, любимый народный певец, один из поэтов, основоположников марийской поэзии.

Мурызо шӱшпык певчий соловей.

Шокшо элыш чоҥештен кайыше мурызо кайык-влакым киса ден йошкар оҥан ӧрш-влак алмаштышт. А. Юзыкайн. Певчих птиц, улетевших в тёплые края, сменили синицы и красногрудые снегири.

множество
набор
комплект
—
[ http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=4318]

множество
Одно из основных понятий современной математики, «произвольная совокупность определенных и различимых объектов, объединенных мысленно в единое целое». (Так определял множество основатель теории множеств, известный немецкий математик Георг Кантор. Правда, уже в начале XX в. стало ясно, что определение Кантора нельзя считать достаточно строгим, так как оно приводит к различным логическим противоречиям. Широко распространено убеждение, что «М.» — понятие, поясняемое только на примерах. Такая странная для математики ситуация объясняется отчасти тем, что все попытки определить термин «М.» приводят, по существу, к замене его другими, столь же неопределенными понятиями). Примеры множеств: М. действительных чисел, М. лошадей в табуне, М. планов, М. функций, М. переменных задачи. Все М., кроме пустого М., состоят из элементов. Например, каждое действительное число есть один из элементов М. действительных чисел. То, что элемент a принадлежит множеству A, обозначают с помощью специального знака a ?A. Это читается так: «a принадлежит множеству А в качестве элемента». М. можно задать прямым перечислением элементов. Пусть А состоит из элементов a1, a2, a3. Это записывается так: A = {a1, a2, a3}. Если непосредственное перечисление элементов М. невозможно (например, когда М. A состоит из бесконечного числа элементов), его определяют характеристическим высказыванием, т.е. высказыванием, истинным только для элементов данного М. В таком случае употребляется запись типа: A = {x|P(x) = И}, которая читается так: «М. A — есть М., состоящее из элементов x таких, что P(x) — истинно». Множество М всех планов x, удовлетворяющих условию, что они лучше (больше), чем план x0, может быть задано с помощью высказывания: М {x|(x>x0) = И} или сокращенно: M = {x|(x>x0)}. Коротко остановимся на определениях и свойствах действий над множествами. Прежде всего, можно рассмотреть два М. — A и B, обладающих следующим свойством: все элементы М. A принадлежат и М. B. Множество A есть, таким образом, подмножество B. Это обозначается так: A ? B. Предположим теперь, что даны произвольные М. A и B. Тогда из элементов этих М. можно сконструировать несколько других: Во-первых, М. элементов, принадлежащих либо A, либо B; такая операция над М. обозначается через A ? B и называется объединением; ясно, например, что если A? B, то A ? B = B; кроме того, A? B = B? A это свойство называется коммутативностью; (A? B) ? C = A ? (B? C) - это свойство — ассоциативность (возможность произвольного разбиения на группы); Во-вторых, можно рассмотреть также М. элементов, принадлежащих и A, и B одновременно; такая операция называется пересечением и обозначается через ?. Предположим, что A? B, тогда A ? B = A. Для того, чтобы пересечение двух М. имело смысл, даже если у них нет общих элементов, вводится понятие пустого М., т.е. М. без элементов. Его обозначают ?. Легко увидеть, что A ? ? = A; A ? ? = ? ; Так же, как и объединение, операция ? — ассоциативна и коммутативна. Объединение множеств называют иногда их суммой, а пересечение их — произведением. В третьих, можно выделить также подмножество элементов множества A, не принадлежащих B. Это действие называется дополнением B до A или разностью A\B. Так же как и в случае обычной разности, это действие некоммутативно. В евклидовом n-мерном пространстве М., содержащее все свои граничные точки, — замкнутое; М., для которого существует (n-мерный) шар, целиком его содержащий, — ограниченное; ограниченное и замкнутое М. называется компактным; о выпуклом М. см. Выпуклость, вогнутость. В разных контекстах вместо слова множество часто употребляют: область (напр. Область допустимых решений) или пространство (напр. Простртанство производственных возможностей). См. также Венна диаграммы, Декартово произведение множеств, Нечеткое, размытое множество.
[ http://slovar-lopatnikov.ru/]

Тематики

• защита информации
• экономика

Синонимы

• набор
• комплект

EN

• set